BibSLEIGH — graph transformation tag

graph transformation

graph transformation

Tag #graph transformation

258 papers:

KDD-2019-Do0V #network #policy #predict: Graph Transformation Policy Network for Chemical Reaction Prediction (KD, TT0, SV), pp. 750–760.
ECMFA-2018-RutleIKD #automation #co-evolution #modelling #traceability #using: Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (AR, LI, HK, ZD), pp. 80–96.
ICSE-2018-Lambers0TBH #analysis #dependence #multi #re-engineering: Multi-granular conflict and dependency analysis in software engineering based on graph transformation (LL, DS0, GT, KB, JH), pp. 716–727.
PEPM-2017-MatsudaA #functional #reduction: A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction (KM, KA), pp. 71–82.
FASE-2017-ZschalerD #composition #flexibility #product line: GTS Families for the Flexible Composition of Graph Transformation Systems (SZ, FD), pp. 208–225.
TAP-2016-GabmeyerS #hardware #lightweight #model checking #off the shelf #verification: Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers (SG, MS), pp. 94–111.
TAP-2016-MakhloufTPS #static analysis: Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations (AM, HNT, CP, MS), pp. 183–190.
GaM-2015-KulcsarDLVS #detection: Improved Conflict Detection for Graph Transformation with Attributes (GK, FD, ML, GV, AS), pp. 97–112.
GCM-2015-MaignanS: Global Graph Transformations (LM, AS), pp. 34–49.
ICGT-2015-Bruggink0NZ #graph #proving #termination #using: Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (HJSB, BK, DN, HZ), pp. 52–68.
ICGT-2015-MachadoRH #evolution: Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
ICGT-2015-Oliveira #reachability #slicing: Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
ICGT-2015-Stuckrath #analysis #named #using #verification: Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems (JS), pp. 266–274.
ICGT-2015-TaentzerG #analysis #confluence #towards: Towards Local Confluence Analysis for Amalgamated Graph Transformation (GT, UG), pp. 69–86.
ICGT-2015-WeberDP #formal method #monitoring #using: Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.
BX-2015-HidakaBTM #analysis #approach #bidirectional: Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.
ICMT-2015-KlugeVS #algorithm #design: A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation (RK, GV, AS), pp. 199–213.
ICMT-2015-RichaBP #algebra #atl #model transformation: Translating ATL Model Transformations to Algebraic Graph Transformations (ER, EB, LP), pp. 183–198.
VMCAI-2015-BackesR #abstraction #analysis #clustering #infinity: Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction (PB, JR), pp. 135–152.
GRAPHITE-2014-Ziegert #abstraction: Graph Transformation Planning via Abstraction (SZ), pp. 71–83.
GT-VMT-2014-DeckwerthV #constraints #generative #higher-order: Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).
ICGT-2014-BelhaouariAGB #geometry #library #modelling #named: Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
ICGT-2014-Bruggink #mining #process #towards: Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.
ICGT-2014-KonigLSW: Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.
ICGT-2014-KreowskiKLL #evaluation #generative #synthesis: Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (HJK, SK, AL, ML), pp. 237–252.
AMT-2014-RichaBPBR #algebra #model transformation #testing #towards #using: Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
FASE-2014-KrauseTG #implementation #parallel: Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
FASE-2014-LoweKS #category theory #polymorphism: Polymorphic Single-Pushout Graph Transformation (ML, HK, CS), pp. 355–369.
SEFM-2013-PerceboisST #invariant #transitive #verification: Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.
GCM-J-2012-ErmlerKLT #reduction: A Graph Transformational View on Reductions in NP (ME, SK, ML, CvT).
GCM-J-2012-KniemeyerK #model transformation #named #transformation language: XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).
GT-VMT-2013-AlshanqitiHK #learning: Learning Minimal and Maximal Rules from Observations of Graph Transformations (AMA, RH, TAK).
GT-VMT-2013-Giese #behaviour #probability: Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
GT-VMT-2013-MaximovaEE #analysis: Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (MM, HE, CE).
ICMT-2013-KrauseDG #co-evolution #evolution #metamodelling: Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.
ICMT-2013-WieberS #approach #testing: Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.
PEPM-2013-Hu #aspect-oriented #bidirectional: Practical aspects of bidirectional graph transformations (ZH), pp. 1–2.
PPDP-2013-AsadaHKHN #branch #calculus #finite #graph #monad: A parameterized graph transformation calculus for finite graphs with monadic branches (KA, SH, HK, ZH, KN), pp. 73–84.
FASE-2013-BapodraH #abstraction #probability: Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.
FoSSaCS-2013-OrejasBGM #similarity: Checking Bisimilarity for Attributed Graph Transformation (FO, AB, UG, NM), pp. 113–128.
RTA-2012-BertrandDKSS #decidability #on the #reachability: On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (NB, GD, BK, AS, JS), pp. 101–116.
SFM-2012-GieseLBHNVW #adaptation #modelling #runtime: Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.
GT-VMT-2012-AnjorinOZS #modelling #optimisation #product line #testing: Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
GT-VMT-2012-ArijoH #generative #modelling: View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
GT-VMT-2012-GhamarianR: Graph Passing in Graph Transformation (AHG, AR).
GT-VMT-2012-NatschlagerS #algebra #approach #graph #inheritance: A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation (CN, KDS).
ICGT-2012-BergmannHH #database #incremental #modelling #relational: Applying Incremental Graph Transformation to Existing Models in Relational Databases (GB, DH, ÁH), pp. 371–385.
ICGT-2012-DuvalEP: Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.
ICGT-2012-GhamarianR #composition: Generalised Compositionality in Graph Transformation (AHG, AR), pp. 234–248.
ICGT-2012-HeckelEGH #concurrent #parallel #probability: Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
ICGT-2012-KonigS: Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.
ICGT-2012-KrauseG #probability: Probabilistic Graph Transformation Systems (CK, HG), pp. 311–325.
ICGT-2012-Lowe #algebra #framework #graph grammar: Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.
ICGT-2012-Ong #multi #programming language #rule-based #using: Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
ICGT-2012-SerbanutaR #concurrent #framework #semantics #𝕂: A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
ICGT-2012-WestfechtelN #evolution: Graph Transformations for Evolving Domain Knowledge (BW, MN), pp. 341–355.
EDOC-2012-BinzLNS #analysis #enterprise #segmentation: Improving the Manageability of Enterprise Topologies Through Segmentation, Graph Transformation, and Analysis Strategies (TB, FL, AN, DS), pp. 61–70.
ICST-2012-MeszarosL: Verified Operational Patterns with Graph Transformation (TM, TL), pp. 954–961.
ICST-2012-TranP #framework #towards #verification: Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.
GCM-2010-GolasBEE11 #interpreter #semantics #visual notation: A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
AGTIVE-2011-BuchmannWW #case study #configuration management: The Added Value of Programmed Graph Transformations — A Case Study from Software Configuration Management (TB, BW, SW), pp. 198–209.
AGTIVE-2011-ErmlerKKT: From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.
AGTIVE-2011-LaraG #reuse: Reusable Graph Transformation Templates (JdL, EG), pp. 35–50.
AGTIVE-2011-MantzJT #concept #consistency #evolution #metamodelling #migration: Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration (FM, SJ, GT), pp. 3–18.
AGTIVE-2011-RossiniLGRL #metamodelling #semantics: A Graph Transformation-Based Semantics for Deep Metamodelling (AR, JdL, EG, AR, YL), pp. 19–34.
AGTIVE-2011-RungeET #algebra #specification: AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations (OR, CE, GT), pp. 81–88.
AGTIVE-2011-Strecker #locality #reasoning: Locality in Reasoning about Graph Transformations (MS), pp. 169–181.
AGTIVE-2011-StroblM #diagrams #editing #generative #state machine: Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.
AGTIVE-2011-TichyK #adaptation #self: Planning Self-adaption with Graph Transformations (MT, BK), pp. 137–152.
GT-VMT-2011-DuvalEP #category theory #term rewriting: Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
ICMT-J-2010-GronmoM11 #diagrams #sequence chart #state machine #uml: From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.
BX-2011-Hidaka #bidirectional #recursion: Bidirectional Graph Transformations based on Structural Recursion (SH), p. 59.
LOPSTR-2011-HidakaHIKMNS #optimisation: Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
ICALP-v2-2010-Rensink #composition: Compositionality in Graph Transformation (AR), pp. 309–320.
ICFP-2010-HidakaHIKMN #bidirectional: Bidirectionalizing graph transformations (SH, ZH, KI, HK, KM, KN), pp. 205–216.
GT-VMT-2010-TorriniHRB #probability: Stochastic Graph Transformation with Regions (PT, RH, IR, GB).
ICGT-2010-Biermann #emf #formal method #model transformation: EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.
ICGT-2010-BrandtH #enterprise #how #modelling #question: How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? (CB, FH), pp. 3–26.
ICGT-2010-Hulsbusch #bisimulation: Bisimulation Theory for Graph Transformation Systems (MH), pp. 391–393.
ICGT-2010-Kahl #category theory: Amalgamating Pushout and Pullback Graph Transformation in Collagories (WK), pp. 362–378.
ICGT-2010-KonigE #specification #verification: Verification of Graph Transformation Systems with Context-Free Specifications (BK, JE), pp. 107–122.
ICGT-2010-KreowskiKW #satisfiability: Graph Transformation Units Guided by a SAT Solver (HJK, SK, RW), pp. 27–42.
ICGT-2010-LaraGBHT #simulation: Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
ICGT-2010-OrejasL #constraints #theorem proving: Delaying Constraint Solving in Symbolic Graph Transformation (FO, LL), pp. 43–58.
ICGT-2010-Qayum #automation #refactoring #search-based #using: Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems (FQ), pp. 407–409.
ICGT-2010-Zambon #abstraction #using #verification: Using Graph Transformations and Graph Abstractions for Software Verification (EZ), pp. 416–418.
EDOC-2010-Gronmo #aspect-oriented #question: Can Graph Transformation Make Aspect Languages for BPEL Redundant? (RG), pp. 153–162.
ICMT-2010-CabotCGL #ocl #synthesis: Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
ICMT-2010-GronmoM #diagrams #sequence chart #state machine: From Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 93–107.
SLE-2010-BraatzB #algebra #domain-specific language #modelling #rdf: Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF (BB, CB), pp. 82–101.
FASE-2010-TorriniHR #probability #simulation: Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.
IFM-2009-LangariT #verification: Application of Graph Transformation in Verification of Dynamic Systems (ZL, RJT), pp. 261–276.
RTA-2009-DuvalEP #approach #category theory: A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
GT-VMT-2009-BergmannRV #incremental #parallel #pattern matching: Parallelization of Graph Transformation Based on Incremental Pattern Matching (GB, IR, DV), pp. 100–114.
GT-VMT-2009-RensinkK: Repotting the Geraniums: On Nested Graph Transformation Rules (AR, JHK), pp. 23–37.
GT-VMT-2009-WestK #editing #framework #haskell #visualisation: A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell (SW, WK), pp. 171–188.
ICML-2009-KunegisL #learning #predict: Learning spectral graph transformations for link prediction (JK, AL), pp. 561–568.
SEKE-2009-MomeniRSR #approach #network: A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks (HM, VR, MS, ATR), pp. 609–612.
ICMT-2009-GronmoKM: A Collection Operator for Graph Transformation (RG, SK, BMP), pp. 67–82.
MoDELS-2009-JurackT #concept #distributed #model transformation #towards #using: Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MoDELS-2009-JurackT #concept #distributed #model transformation #towards #using: Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
ICSE-2009-GhezziMM #behaviour #modelling: Synthesizing intensional behavior models by graph transformation (CG, AM, MM), pp. 430–440.
PDP-2009-ZhaoMLHH #approach #architecture #evolution #runtime: A Graph Transformation based Approach for Runtime Constrained Evolution of Service-Oriented Architectures (YZ, DM, ML, CH, YH), pp. 203–209.
ICLP-2009-Raiser #constraints #using: Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules (FR), pp. 540–541.
GT-VMT-2006-DarabosPV08 #implementation #testing #towards: Towards Testing the Implementation of Graph Transformations (AD, AP, DV), pp. 75–85.
GT-VMT-2006-KonigK08 #analysis: Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems (BK, VK), pp. 201–210.
GT-VMT-2006-LambersEO08 #detection #performance: Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.
GT-VMT-2006-Lanese08: Exploiting User-definable Synchronizations in Graph Transformation (IL), pp. 27–38.
GT-VMT-2006-MinasH08 #programming: An Example of Cloning Graph Transformation Rules for Programming (MM, BH), pp. 241–250.
GT-VMT-2006-RensinkN08 #qvt #semantics: Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
GT-VMT-2006-Varro08 #database #implementation #independence #plugin #query #using: Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries (GV), pp. 121–132.
GT-VC-2007-BaresiRRS08 #model checking #performance: An Efficient Solution for Model Checking Graph Transformation Systems (LB, VR, ATR, PS), pp. 3–21.
GT-VC-2007-Bruggink08 #proving #termination #towards: Towards a Systematic Method for Proving Termination of Graph Transformation Systems (HJSB), pp. 23–38.
GT-VMT-2008-BaresiGMM #abstraction #using #verification: Using Graph Transformation Systems to Specify and Verify Data Abstractions (LB, CG, AM, MM).
GT-VMT-2008-BraatzB #framework: Graph Transformations for the Resource Description Framework (BB, CB).
GT-VMT-2008-GrabskaSL #design #reasoning #using #visual notation: Visual Design and Reasoning with the Use of Hypergraph Transformations (EG, GMS, TLL).
GT-VMT-2008-Gruner #mobile #network: Graph Transformation Model of a Triangulated Network of Mobile Units (SG).
ICGT-2008-BergmannHRV #benchmark #evaluation #incremental #metric #pattern matching: A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (GB, ÁH, IR, DV), pp. 396–410.
ICGT-2008-Heckel #tutorial: Tutorial Introduction to Graph Transformation (RH), pp. 458–459.
ICGT-2008-Horvath #approach #towards #verification: Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.
ICGT-2008-Khan #analysis #configuration management #modelling #network #using: Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems (AK), pp. 502–504.
ICGT-2008-KonigK #towards #verification: Towards the Verification of Attributed Graph Transformation Systems (BK, VK), pp. 305–320.
ICGT-2008-LambersEPO #confluence: Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.
ICGT-2008-Pennemann08a #development: Development of Correct Graph Transformation Systems (KHP), pp. 508–510.
ICGT-2008-PoudretACG #modelling: Graph Transformation for Topology Modelling (MP, AA, JPC, PLG), pp. 147–161.
ICGT-2008-YuH #query #semantics #web: Graph Transformation for the Semantic Web: Queries and Inference Rules (HY, YH), pp. 511–513.
SEKE-2008-AltahatET #analysis #detection #diagrams #interactive #uml: Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams (ZA, TE, LT), pp. 905–911.
BX-2008-Hidaka1 #bidirectional #using: Bidirectional Graph Transformation using UnCAL (SH), p. 43.
ICMT-2008-CabotCGL #ocl: Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.
MoDELS-2008-BiermannET #emf #model transformation #precise #semantics: Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MoDELS-2008-BiermannET #emf #model transformation #precise #semantics: Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
CAV-2008-JoshiK #theorem #verification: Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (SJ, BK), pp. 214–226.
AGTIVE-2007-AmelunxenLSS #guidelines #modelling: Checking and Enforcement of Modeling Guidelines with Graph Transformations (CA, EL, AS, IS), pp. 313–328.
AGTIVE-2007-AnandK #assembly #generative: Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code (CKA, WK), pp. 217–232.
AGTIVE-2007-BuchmannDUW #case study #comparative #development #modelling: Model-Driven Software Development with Graph Transformations: A Comparative Case Study (TB, AD, SU, BW), pp. 345–360.
AGTIVE-2007-DrewesHJME: Shaped Generic Graph Transformation (FD, BH, DJ, MM, NVE), pp. 201–216.
AGTIVE-2007-FussT #algorithm #model transformation #simulation #transformation language: Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages (CF, VET), pp. 442–455.
AGTIVE-2007-GogollaBD #ocl #using: From Graph Transformation to OCL Using USE (MG, FB, DHD), pp. 585–586.
AGTIVE-2007-KniemeyerBHK #approach #architecture #biology #parallel #relational: Relational Growth Grammars — A Parallel Graph Transformation Approach with Applications in Biology and Architecture (OK, GB, RH, WK), pp. 152–167.
AGTIVE-2007-LeenheerM #collaboration #evolution #ontology #using: Using Graph Transformation to Support Collaborative Ontology Evolution (PDL, TM), pp. 44–58.
AGTIVE-2007-RensinkDEJKLMSZ #case study #named #tool support: Ludo: A Case Study for Graph Transformation Tools (AR, AD, CE, SJ, OK, JdL, SM, TS, AZ), pp. 493–513.
AGTIVE-2007-RensinkT #contest: AGTIVE 2007 Graph Transformation Tool Contest (AR, GT), pp. 487–492.
AGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #tool support: Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.
AGTIVE-2007-TaentzerMM #refactoring #specification: Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation (GT, DM, TM), pp. 104–119.
AGTIVE-2007-VarroABBDGGGKNRW #case study #csp #modelling #tool support #uml: Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.
GT-VMT-2007-BalasubramanianNNSTK #model transformation #transformation language: A Subgraph Operator for Graph Transformation Languages (DB, AN, SN, FS, RT, GK).
GT-VMT-2007-BonevaHKR #multi #simulation #using: Simulating Multigraph Transformations Using Simple Graphs (IB, FH, HK, AR).
GT-VMT-2007-GuerraL #recursion: Adding Recursion to Graph Transformation (EG, JdL).
GT-VMT-2007-Paun: Membrane computing [and graph transformation] (GP).
SEKE-2007-KoskerB #refactoring #uml: Synchronization of UML Based Refactoring with Graph Transformation (YK, ABB), pp. 232–237.
GTTSE-2007-SeguraBCT #automation #feature model #modelling #using: Automated Merging of Feature Models Using Graph Transformations (SS, DB, ARC, PT), pp. 489–505.
FASE-2007-RangerH #consistency #distributed: Ensuring Consistency Within Distributed Graph Transformation Systems (UR, TH), pp. 368–382.
ICLP-2007-Raiser: Graph Transformation Systems in CHR (FR), pp. 240–254.
FM-2006-LangariT #communication #formal method #modelling #protocol: Formal Modeling of Communication Protocols by Graph Transformation (ZL, RJT), pp. 348–363.
ICGT-2006-BaresiS #alloy #on the #using: On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.
ICGT-2006-BruniM: Dynamic Graph Transformation Systems (RB, HCM), pp. 230–244.
ICGT-2006-ButtnerG #sequence: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.
ICGT-2006-DoddsP #constant: Graph Transformation in Constant Time (MD, DP), pp. 367–382.
ICGT-2006-EhrigHL #analysis: Molecular Analysis of Metabolic Pathway with Graph Transformation (KE, RH, GL), pp. 107–121.
ICGT-2006-EhrigOP #category theory #distributed: Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
ICGT-2006-EngelsLSH #contract #design #modelling #monitoring: Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.
ICGT-2006-GuerraL: Model View Management with Triple Graph Transformation Systems (EG, JdL), pp. 351–366.
ICGT-2006-Heckel #tutorial: Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.
ICGT-2006-LambersEO #detection: Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.
ICGT-2006-Rensink #quantifier: Nested Quantification in Graph Transformation Rules (AR), pp. 1–13.
ICGT-2006-VelascoL #approach #matrix #sequence: Matrix Approach to Graph Transformation: Matching and Sequences (PPPV, JdL), pp. 122–137.
ECMDA-FA-2006-AmelunxenKRS #framework #metamodelling #named #standard: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations (CA, AK, TR, AS), pp. 361–375.
TACAS-2006-KonigK #abstraction #analysis #refinement: Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.
GTTSE-2005-Mens #on the #refactoring #using: On the Use of Graph Transformations for Model Refactoring (TM), pp. 219–257.
SAC-2005-BaresiQ #documentation #xml: Graph transformation to infer schemata from XML documents (LB, EQ), pp. 642–646.
ICGT-2004-BaldanKS #code generation #generative #testing: Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems (PB, BK, IS), pp. 194–209.
ICGT-2004-BaresiH #perspective #re-engineering #tutorial: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
ICGT-2004-BohlenR #concept #specification: Concepts for Specifying Complex Graph Transformation Systems (BB, UR), pp. 96–111.
ICGT-2004-CherchagoH #specification #using #web #web service: Specification Matching of Web Services Using Conditional Graph Transformation Rules (AC, RH), pp. 304–318.
ICGT-2004-CorradiniDFR #java: Translating Java Code to Graph Transformation Systems (AC, FLD, LF, LR), pp. 383–398.
ICGT-2004-EhrigPT: Fundamental Theory for Typed Attributed Graph Transformation (HE, UP, GT), pp. 161–177.
ICGT-2004-GuerraL #integration #metamodelling #towards: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation (EG, JdL), pp. 54–69.
ICGT-2004-HabelH #independence #parallel: Parallel Independence in Hierarchical Graph Transformation (AH, BH), pp. 178–193.
ICGT-2004-HarjuPR #tutorial: Tutorial on DNA Computing and Graph Transformation (TH, IP, GR), pp. 434–436.
ICGT-2004-HeckelLM #probability: Stochastic Graph Transformation Systems (RH, GL, SM), pp. 210–225.
ICGT-2004-Klempien-HinrichsKK #type system: Typing of Graph Transformation Units (RKH, HJK, SK), pp. 112–127.
ICGT-2004-RensinkSV #comparison #model checking: Model Checking Graph Transformations: A Comparison of Two Approaches (AR, ÁS, DV), pp. 226–241.
ICGT-2004-RosselloV #analysis: Analysis of Metabolic Pathways by Graph Transformation (FR, GV), pp. 70–82.
ICGT-2004-YadavKS: The Potential of a Chemical Graph Transformation System (MKY, BPK, SMS), pp. 83–95.
FASE-2004-BardohlELT #aspect-oriented #metamodelling #performance #visual notation: Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (RB, HE, JdL, GT), pp. 214–228.
AGTIVE-2003-AmselJ #aspect-oriented #component: Expressing Component-Relating Aspects with Graph Transformations (AA, DJ), pp. 149–162.
AGTIVE-2003-BottoniPT #distributed #refactoring #specification: Specifying Integrated Refactoring with Distributed Graph Transformations (PB, FPP, GT), pp. 220–235.
AGTIVE-2003-DepkeHH #design #modelling: Design of an Agent-Oriented Modeling Language Based on Graph Transformation (RD, JHH, RH), pp. 106–119.
AGTIVE-2003-GalaQT #navigation: Graph Transformation for Merging User Navigation Histories (MMG, EQ, LT), pp. 1–14.
AGTIVE-2003-Gatzemeier #authoring: Authoring Support Based on User-Serviceable Graph Transformation (FHG), pp. 170–185.
AGTIVE-2003-GeigerZ #testing: Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests (LG, AZ), pp. 61–74.
AGTIVE-2003-KarsaiA #architecture #modelling: Graph Transformations in OMG’s Model-Driven Architecture: (GK, AA), pp. 243–259.
AGTIVE-2003-LaraGV #analysis #hybrid #metamodelling #model checking: Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.
AGTIVE-2003-MarburgerW #analysis #behaviour: Behavioral Analysis of Telecommunication Systems by Graph Transformations (AM, BW), pp. 202–219.
AGTIVE-2003-QemaliT #towards #validation #web: Towards Validation of Session Management in Web Applications based on Graph Transformation (AQ, GT), pp. 15–29.
AGTIVE-2003-Rising #graph grammar #multi #semantics: MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (HKR), pp. 369–382.
AGTIVE-2003-Rotschke #re-engineering #using: Re-engineering a Medical Imaging System Using Graph Transformations (TR), pp. 185–201.
AGTIVE-2003-Taentzer #modelling #named #validation: AGG: A Graph Transformation Environment for Modeling and Validation of Software (GT), pp. 446–453.
SAS-2003-BaldanKK #abstraction #logic: A Logic for Analyzing Abstractions of Graph Transformation Systems (PB, BK, BK), pp. 255–272.
CBSE-2003-BaresiHTV #analysis #architecture #modelling: Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.
SCAM-2002-BunusF #combinator #declarative #equation #semantics: Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.
IFM-2002-KuskeGKK #diagrams #semantics #uml: An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (SK, MG, RK, HJK), pp. 11–28.
ICGT-2002-BaldanK #approximate #behaviour: Approximating the Behaviour of Graph Transformation Systems (PB, BK), pp. 14–29.
ICGT-2002-BaresiH #perspective #re-engineering #tutorial: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
ICGT-2002-BeckPS #problem #scheduling: Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems (JCB, PP, ES), pp. 60–74.
ICGT-2002-GyapayHV #logic: Graph Transformation with Time: Causality and Logical Clocks (SG, RH, DV), pp. 120–134.
ICGT-2002-HabelP: Relabelling in Graph Transformation (AH, DP), pp. 135–147.
ICGT-2002-HarjuPR #assembly #tutorial: Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
ICGT-2002-HeckelKT #confluence: Confluence of Typed Attributed Graph Transformation Systems (RH, JMK, GT), pp. 161–176.
ICGT-2002-Hoffmann #abstraction: Abstraction and Control for Shapely Nested Graph Transformation (BH), pp. 177–191.
ICGT-2002-KnirschK #distributed: Distributed Graph Transformation Units (PK, SK), pp. 207–222.
ICGT-2002-PadbergE #invariant #safety: Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
ICGT-2002-ReisRASN #execution #process #semantics #using: Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment (CALR, RQR, MMdA, HS, DJN), pp. 254–269.
ICSE-2002-HausmannHT #approach #case study #detection #functional #requirements #static analysis: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
GT-VMT-2001-BaresiPT #modelling #visual notation: Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001 (LB, MP, GT), pp. 325–326.
GT-VMT-2001-BusattoH: Comparing Notions of Hierarchical Graph Transformation (GB, BH), pp. 310–317.
GT-VMT-2001-CorradiniDR #mobile #specification #using: A Graph Transformation View on the Specification of Applications using Mobile Code (AC, FLD, LR0), pp. 238–246.
UML-2001-Kuske #semantics #state machine #uml: A Formal Semantics of UML State Machines Based on Structured Graph Transformation (SK), pp. 241–256.
DATE-2001-ThorntonD #diagrams #using: Spectral decision diagrams using graph transformations (MAT, RD), pp. 713–719.
FoSSaCS-2001-HabelP #programming language: Computational Completeness of Programming Languages Based on Graph Transformation (AH, DP), pp. 230–245.
ICALP-2000-EngelsH #concept #evolution #framework #modelling: Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution (GE, RH), pp. 127–150.
FASE-2000-Parisi-PresicceW #configuration management #policy #using: Foundations for Software Configuration Management Policies Using Graph Transformations (FPP, ALW), pp. 304–318.
FoSSaCS-2000-DrewesHP: Hierarchical Graph Transformation (FD, BH, DP), pp. 98–113.
TACAS-2000-GoedickeEMT #development #distributed #multi #tool support: ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 43–47.
AGTIVE-1999-DrewesKKK #composition: Graph Transformation Modules and Their Composition (FD, PK, HJK, SK), pp. 15–30.
AGTIVE-1999-GoedickeEMT #development #distributed #integration #multi #tool support #towards: Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 369–377.
AGTIVE-1999-Grosse-RhodePST #composition #distributed #modelling #refinement: Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.
AGTIVE-1999-Hoffmann #diagrams #programming #rule-based: From Graph Transformation to Rule-Based Programming with Diagrams (BH), pp. 165–180.
AGTIVE-1999-HoffmannLS #composition #constraints #geometry: Planning Geometric Constraint Decomposition via Optimal Graph Transformations (CMH, AL, MS), pp. 309–324.
AGTIVE-1999-KnirschK #modelling: A Note on Modeling Agent Systems by Graph Transformation (PK, HJK), pp. 79–86.
AGTIVE-1999-Radermacher #design pattern #tool support: Support for Design Patterns Through Graph Transformation Tools (AR), pp. 111–126.
AGTIVE-1999-Schleicher #formal method #modelling #process #uml #using: Formalizing UML-Based Process Models Using Graph Transformations (AS), pp. 341–357.
AGTIVE-1999-Taentzer #algebra #named: AGG: A Tool Environment for Algebraic Graph Transformation (GT), pp. 481–488.
RE-1999-GoedickeMT #consistency #development #distributed #nondeterminism #towards: ViewPoint-Oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies (MG, TM, GT), pp. 92–99.
TAGT-1998-BusattoEMW #framework: A Framework for Adding Packages to Graph Transformation Approaches (GB, GE, KM, AW), pp. 352–367.
TAGT-1998-Faulstich #using: Using Graph Transformation Techniques for Integrating Information from the WWW (LF), pp. 426–441.
TAGT-1998-Grosse-RhodePS: Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
TAGT-1998-PetriuW #design pattern #modelling #performance: Deriving Software Performance Models from Architectural Patterns by Graph Transformations (DCP, XW), pp. 475–488.
TAGT-1998-Schuster #information management #representation: Knowledge Representation and Graph Transformation (SS), pp. 228–237.
TAGT-1998-TaentzerGM #configuration management #distributed #towards: Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems (GT, MG, TM), pp. 179–193.
SAC-1998-KangH #algorithm #problem #search-based #using: Solving the rural postman problem using a genetic algorithm with a graph transformation (MJK, CGH), pp. 356–360.
FASE-1998-Heckel #composition #verification: Compositional Verification of Reactive Systems Specified by Graph Transformation (RH), pp. 138–153.
GG-Handbook-Vol1-CorradiniMREHL #algebra #approach #category theory #concept: Algebraic Approaches to Graph Transformation — Part I: Basic Concepts and Double Pushout Approach (AC, UM, FR, HE, RH, ML), pp. 163–246.
GG-Handbook-Vol1-Courcelle #higher-order #logic #monad: The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic (BC), pp. 313–400.
GG-Handbook-Vol1-EhrigHKLRWC #algebra #approach #category theory #comparison: Algebraic Approaches to Graph Transformation — Part II: Single Pushout Approach and Comparison with Double Pushout Approach (HE, RH, MK, ML, LR, AW, AC), pp. 247–312.
GG-Handbook-Vol1-Schurr: Programmed Graph Replacement Systems (AS), pp. 479–546.
ESEC-FSE-1997-EngelsHTE #approach #modelling: A View-Oriented Approach to System Modelling Based on Graph Transformation (GE, RH, GT, HE), pp. 327–343.
TAGT-1994-AlberichBRVW #algebra #approach: A Partial Algebras Approach to Graph Transformation (RA, PB, FR, GV, BW), pp. 1–15.
TAGT-1994-EhrenfeuchtHR #graph: Group Based Graph Transformations and Hierarchical Representations of Graphs (AE, TH, GR), pp. 502–520.
TAGT-1994-EhrigE #aspect-oriented #concept #semantics: Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems (HE, GE), pp. 137–154.
TAGT-1994-Schurr: Programmed Graph Transformations and Graph Transformation Units in GRACE (AS), pp. 122–136.
TAGT-1994-Taentzer #distributed: Hierarchically Distributed Graph Transformation (GT), pp. 304–320.
EDAC-1994-BanerjeeRCP: Signal Transition Graph Transformations for Initializability (SB, RKR, STC, DKP), p. 670.
GG-1990-EhrigL: Computing by Graph Transformation: Overall Aims and New Results (HE, ML), pp. 688–703.
GG-1990-Kreowski: Applied Graph Transformation (HJK), pp. 51–52.
CAAP-1985-BoehmFH: Amalgamation of Graph Transformations with Applications to Synchronization (PB, HRF, AH), pp. 267–283.
CAAP-1985-Lichtblau #decompiler: Decompilation of Control Structures by Means of Graph Transformations (UL), pp. 284–297.
GG-1982-EhrigS: Church-Rosser properties for graph replacement systems with unique splitting (HE, JS), pp. 82–101.